Supervisory Control Applied to Automata Extended with Variables - Revised

To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signal-based industrial reality and the event-based supervisory control framework. This report tries to shorten this gap by introducing a modeling formalism with automata extended with variables, guard expressions and action functions. The formalism is suitable for modeling plants and specifications in the supervisory control framework. No restrictions are made on the sharing of variables between concurrent automata and don\u27t care updating of shared variables is allowed. This leads to frame problems since unreachable states of subsystems can become reachable in the entire system. To define supervisory control problems in this general setting we introduce the concept of controllable languages with respect to the entire system which is a generalization of the classical definition of controllability. An algorithm that transforms supervisory control problems modeled by automata with shared variables into equivalent ordinary automata supervisory control problems, is presented. This allows the user to model complex behaviors with a compact representation, and at the same time use existing algorithms for synthesis and verification. The proposed approach has been implemented in the supervisory control tool, Supremica

Supervisory Control Applied to Automata Extended with Variables - Revised

To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signal-based industrial reality and the event-based supervisory control framework. This report tries to shorten this gap by introducing a modeling formalism with automata extended with variables, guard expressions and action functions. The formalism is suitable for modeling plants and specifications in the supervisory control framework. No restrictions are made on the sharing of variables between concurrent automata and don\u27t care updating of shared variables is allowed. This leads to frame problems since unreachable states of subsystems can become reachable in the entire system. To define supervisory control problems in this general setting we introduce the concept of controllable languages with respect to the entire system which is a generalization of the classical definition of controllability. An algorithm that transforms supervisory control problems modeled by automata with shared variables into equivalent ordinary automata supervisory control problems, is presented. This allows the user to model complex behaviors with a compact representation, and at the same time use existing algorithms for synthesis and verification. The proposed approach has been implemented in the supervisory control tool, Supremica

Global late Quaternary megafauna extinctions linked to humans, not climate change

The late Quaternary megafauna extinction was a severe global-scale event. Two factors, climate change and modern humans, have received broad support as the primary drivers, but their absolute and relative importance remains controversial. To date, focus has been on the extinction chronology of individual or small groups of species, specific geographical regions or macroscale studies at very coarse geographical and taxonomic resolution, limiting the possibility of adequately testing the proposed hypotheses. We present, to our knowledge, the first global analysis of this extinction based on comprehensive country-level data on the geographical distribution of all large mammal species (more than or equal to 10 kg) that have gone globally or continentally extinct between the beginning of the Last Interglacial at 132 000 years BP and the late Holocene 1000 years BP, testing the relative roles played by glacial–interglacial climate change and humans. We show that the severity of extinction is strongly tied to hominin palaeobiogeography, with at most a weak, Eurasia-specific link to climate change. This first species-level macroscale analysis at relatively high geographical resolution provides strong support for modern humans as the primary driver of the worldwide megafauna losses during the late Quaternary

The evolutionary ecology of decorating behaviour

Many animals decorate themselves through the accumulation of environmental material on their exterior. Decoration has been studied across a range of different taxa, but there are substantial limits to current understanding. Decoration in non-humans appears to function predominantly in defence against predators and parasites, although an adaptive function is often assumed rather than comprehensively demonstrated. It seems predominantly an aquatic phenomenon-presumably because buoyancy helps reduce energetic costs associated with carrying the decorative material. In terrestrial examples, decorating is relatively common in the larval stages of insects. Insects are small and thus able to generate the power to carry a greater mass of material relative to their own body weight. In adult forms, the need to be lightweight for flight probably rules out decoration. We emphasize that both benefits and costs to decoration are rarely quantified, and that costs should include those associated with collecting as well as carrying the material.PostprintPeer reviewe

Measuring Masculinity in Men With Chronic Disease

© The Author(s) 2019. The Masculinity in Chronic Disease Inventory (MCD-I) is a new measure of internalized masculine beliefs previously validated in the context of prostate cancer. The present study assessed the validity of the MCD-I in men with other chronic diseases to explore its potential for wider application. A cross-sectional survey of 633 men aged 47–93 years old (M = 68 years), of whom 68% reported ≥2 chronic conditions, was conducted. Measures included the MCD-I and Erectile Function. Exploratory and confirmatory factor analyses were performed followed by tests for discriminant validity. A five-factor structure was confirmed that explained 60% of the variance, with good to excellent reliabilities (α = 0.68–0.93) for the domains of Optimistic Action, Sexual Importance/Priority, Family Responsibilities, Emotional Self-Reliance, and Strength/Fitness. The MCD-I is a valid measure of internalized masculine beliefs for men with chronic disease that appears sensitive to age and to sexual health. The tailoring of health services for men can be guided by MCD-I outcomes to ensure gender-sensitized men’s health interventions

Comparison of the microalgal community within fast ice at two sites along the Ross Sea coast, Antarctica

Diverse microbial communities survive within the sea ice matrix and are integral to the energy base of the Southern Ocean. Here we describe initial findings of a four season survey (between 1999-2004) of community structure and biomass of microalgae within the sea ice and in the underlying water column at Cape Evans and Cape Hallett, in the Ross Sea, Antarctica as part of the Latitudinal Gradient Project. At Cape Evans, bottom-ice chlorophyll a levels ranged from 4.4 to 173 mg Chl a m-2. Dominant species were Nitzschia stellata, N. lecointei, and Entomoneis kjellmanii, while the proportion of Berkeleya adeliensis increased steadily during spring. Despite being obtained later in the season, the Cape Hallett data show considerably lower standing stocks of chlorophyll ranging from 0.11 to 36.8 mg Chl a m-2. This difference was attributed to a strong current, which may have ablated much of the bottom ice biomass and provided biomass to the water below. This loss of algae from the bottom of the ice may explain why the ice community contributed only 2% of the standing stock in the total water column. Dominant species at Cape Hallett were Nitzschia stellata, Fragilariopsis curta and Cylindrotheca closterium. The low biomass at Cape Hallett and the prevalence of smaller-celled diatoms in the bottom ice community indicate that the ice here is more typical of pack ice than fast ice. Further data will allow us to quantify and model the extent to which ice-driven dynamics control the structure and function of the sea ice ecosystem and to assess its resilience to changing sea ice conditions. © Antarctic Science Ltd

Helicity at Photospheric and Chromospheric Heights

In the solar atmosphere the twist parameter $\alpha$ has the same sign as magnetic helicity. It has been observed using photospheric vector magnetograms that negative/positive helicity is dominant in the northern/southern hemisphere of the Sun. Chromospheric features show dextral/sinistral dominance in the northern/southern hemisphere and sigmoids observed in X-rays also have a dominant sense of reverse-S/forward-S in the northern/southern hemisphere. It is of interest whether individual features have one-to-one correspondence in terms of helicity at different atmospheric heights. We use UBF \Halpha images from the Dunn Solar Telescope (DST) and other \Halpha data from Udaipur Solar Observatory and Big Bear Solar Observatory. Near-simultaneous vector magnetograms from the DST are used to establish one-to-one correspondence of helicity at photospheric and chromospheric heights. We plan to extend this investigation with more data including coronal intensities.Comment: 5 pages, 1 figure, 1 table To appear in "Magnetic Coupling between the Interior and the Atmosphere of the Sun", eds. S.S. Hasan and R.J. Rutten, Astrophysics and Space Science Proceedings, Springer-Verlag, Heidelberg, Berlin, 200